Logik für Informatiker
Martin Kreuzer / Stefan Kühling
ISBN: 978-3-8273-7215-4256 Seiten
Erscheinungstermin: 3/2006
Farbe: 2-farbig
Sprache: Deutsch
€ 24,95 [D]
Versand in Deutschland innerhalb von 2 Werktagen.
Versandkostenfrei in Deutschland, Österreich, Liechtenstein
und in der Schweiz
Zum Buch:
Das Buch stellt verschiedene logische Systeme vor, die in der Informatik von Bedeutung sind. Dabei schließt die Stoffauswahl nicht nur die klassischen Gebiete der Aussagen- und Prädikatenlogik ein, sondern behandelt z.B. auch die Gleichungslogik und Modallogik sowie allgemeine logische Systeme. Die Präsentation des Stoffs ist auf die Bedürfnisse von Informatikstudenten abgestimmt. Das Buch ist mathematisch exakt und enthält vollständige und korrekte Beweise, ohne zu formell zu sein. Spezialnotationen der Logik werden auf das absolut Notwendige reduziert. Großen Wert legt der Autor auf die Motivation des Stoffs durch Beispiele aus der Informatik. Viele abwechslungsreiche und originelle Übungsaufgaben fördern das Verständnis und geben dem Leser Gelegenheit, den Lernerfolg selbst zu überprüfen.
Auf der Companion Website:
Für Dozenten:
Für Studenten:
-> Insgesamt etwa 170 Seiten Online-Materialien!
Über die Autoren:
MARTIN KREUZER ist Professor für Mathematik an der Universität Dortmund und bietet für die Informatikstudenten im Grundstudium die Vorlesung "Logik für Informatiker" an.
STEFAN KÜHLING lehrt am Fachbereich Mathematik der Universität Dortmund.
Dozentenstimmen
"Stoffgebiet hervorragend, insbesondere für Verteilte Systeme. Präsentation, Beispiele, Aufgaben: ausgezeichnet. Didaktik: erstklassig. Eines der wenigen sehr guten Bücher von Informatikern für Informatiker." (Prof. Dr. Christoph Klauck, HAW Hamburg)
Leserstimmen
Anzahl der Produktbewertungen: 1
Klicken Sie hier und schreiben Sie Ihre Meinung zu diesem Produkt!
didaktisch gute Darstellung, interessante Aufgaben |
||
|---|---|---|
| von: | Reinhard Völler aus Hamburg |
|
| Datum: | 5.9.2008 |
|
![]()
Materialien für Dozenten
Falls Sie Student sind, klicken Sie bitte hier.
Ihr Status: Sie sind nicht angemeldet. Um Zugang zu den Materialien zu erhalten, melden Sie sich bitte an.
Zusatzmaterialien zum Buch.
Zu diesem Buch gibt es für Dozenten folgende Materialien (passwort-geschützt). Weitere Informationen zu unseren Dozentenmaterialien finden Sie hier.
Lösungswegbeschreibungen - Lösungen
7215_Loesung_Kap02_20060313.pdfAusführliche Lösungswegbeschreiben zu den Aufgaben aus dem Buch
7215_Loesung_Kap03_20060313.pdf
7215_Loesung_Kap04_20060313.pdf
7215_Loesung_Kap05_20060314.pdfOnline-Materialien - Kursunterlagen
Vorlesungsfolien - Folien
7215_Folien_Kap02_20060321.pdfAlle Vorlesungsfolien zum Buch
7215_Folien_Kap03_20060321.pdf
7215_Folien_Kap04_20060321.pdf
7215_Folien_Kap05_20060321.pdf
7215_Folien_Kap06_20060321.pdf
7215_Folien_Kap07_20060321.pdf
7215_Folien_Kap08_20060416.pdf
7215_Folien_Kap09_20060416.pdf
7215_Folien_komplett_20060315.pdfDer gesamte Foliensatz zum Buch
FA.pdfAlle Abbildungen aus dem Buch
FA_06.pdf
FA_06_19.pdf
FA_06_21.pdf
FA_06_24_25.pdf
FA_06_26.pdf
FA_07.pdf
FA_07_09.pdf
FA_07_10.pdfLinks - Links
Abbildungen - Abbildungen
FA_03_06.pdf
FA_03_11.pdf
FA_03_16.pdf
FA_03_17.pdf
FA_03_20.pdf
FA_03_23.pdf
FA_03_gesamt.pdfKapitel 3 - komplett
FA_04_45_46.pdf
FA_04_52_54.pdf
FA_04_56.pdf
FA_04_59.pdf
FA_04_61.pdf
FA_04_62.pdf
FA_04_64.pdf
FA_04_64.pdf
FA_04_gesamt.pdfKapitel 4 - komplett
FA_05_22.pdf
FA_05_26.pdf
FA_05_26.pdf
FA_05_gesamt.pdfKapitel 5 - komplett
Errata - Errata
![]()
Materialien für Studenten
Ihr Status: Sie sind nicht angemeldet. Um Zugang zu den Materialien zu erhalten, melden Sie sich bitte an.
Zusatzmaterialien zum Buch.
Zu diesem Buch gibt es für Studenten folgende Materialien.
Weitere Informationen zu unseren Studentenmaterialien finden Sie hier.

